M. Mandler, V. de Paiva; 2005; "Constructive CK for contexts"